اختيار الموقع            تسجيل دخول
 

الأبحاث العلمية
الابحاث حسب سنة النشر
  نتيجة البحث عن  : Bentahar, Jamal
   تم العثور علي  1  مقالة
 

Specifying and verifying contract-driven service compositions using commitments and model checking
 Bataineh, Ahmed Saleh - Canada
Bentahar, Jamal - Canada
El Menshawy, Mohamed - Canada
Dssouli, Rachida - Canada

الكلمات الدالة  Automata theory; Autonomous agents; Compliance control; Computation theory; Computer programming; Encoding (symbols); Intelligent agents; Intelligent systems; Multi agent systems; Translation (languages); Web services; Websites
الصفحات  151-184
تم النشر بتاريخ  : 15/05/2017



 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University Privacy Policy